Stat "factorials#lastfact" 7 4 False True v22 where {v15= Dyn c655d793 8 Fact 1 1; v16= Dyn c655d793 8 Fact 2 2; v17= Dyn c655d793 8 Fact 3 6; v18= Dyn c655d793 9 Fact 4 24; v19= Dyn c655d793 8 Fact 3 6; v20= Dyn c655d793 9 Fact 4 24; v21= Dyn c655d793 10 Fact 5 120; v22= [ v21,  v20,  v19,  v18,  v17,  v16,  v15,  v23]; v23= Dyn c655d793 8 Fact 0 0; }